Semantic Modeling Approach Supporting Process Modeling and Analysis in Aircraft Development

With the increasing complexity of aircraft development programs, processes and their subsystems are continuously becoming complicated, leading to growing risks cost across entire life cycle. In this study, we proposed a model-based systems engineering approach support process modeling using multi-architecture language KARMA. Simultaneously, property verification hybrid automata simulation were used implement static analysis each work task dynamic process. Finally, model avionics system was created case in which is implemented by KARMA language. From result, found that enables integration with analyses tool MetaGraph 2.0.